grammar1, EFact closes over all factories except for EmptyFact

E	::= num | F + E



E	::= num E1
E1	::= E1a | Empty
E1a	::= + E
